Proceedings of Formal Methods 2009
نویسندگان
چکیده
We introduce a condition for the verification of properties in component-based systems that allows for components with variants and hence supports reusability. Thereby, the architecture of the system and behavior equivalences between the components are exploited in order to cope with the state space explosion problem. We use the model of interaction systems as the component model and extend it with unobservable behavior and a new composition operator.
منابع مشابه
Critical Discourse Analysis of Two Persian Translations of Lewis Carroll’s Alice’s Adventures in Wonderland Framed in Farahzad’s CDA Model
Framed in Farahzad’s (2009) critical discourse analysis (CDA) model, the present research aimed at analyzing these influences in two Persian translations of Alice’s Adventures in Wonderland at micro and macro levels. To do so, the textual features at micro-level, while the constituent aspects about the translated texts at macro-level were examined. As to the micro-level analysis, it was found t...
متن کاملProceedings of Formal Aspects of Virtual Organisations 2009
This report contains the proceedings of the 2009 workshop on Formal Aspects of Virtual Organisations, held in Eindhoven on 3rd November 2009 © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details BRYANS, J.W., FITZGERALD, J.S. (EDS...
متن کاملFormal aspects of component software
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09). 2000 Mathematics Subject Classification: 0
متن کاملProceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Markov Abstractions for Probabilistic π - Calculus
This paper presents a range of approaches to the analysis and development of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a high-level abstraction tool to reason about system specifications. The abstractions include ones to check the structure of specifications, analyze the long-term stability of the system, and...
متن کاملElectronic Non Formal Education: A Case Study of Tehran Municipality
Considering the emergence of brand-new educational needs, non-formal education as a prerequisite of a knowledge-based society is increasingly going popular among nations in view of its continual nature. However, life-long learning as a key concept of the modern education system stands clearly at odds with traditional learning in every way of philosophy, objectives,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009